Interactive situation modelling in knowledge-intensive domains
نویسندگان
چکیده
منابع مشابه
Interactive situation modelling in knowledge-intensive domains
Interactive Situation Modelling (ISM) method, a semi-methodological approach, is proposed to tackle issues associated with modelling complex knowledge intensive domains, which cannot be easily modelled using traditional approaches. This paper presents the background and implementation of ISM within a complex domain, where synthesizing knowledge from various sources is critical, and is based on ...
متن کاملConcurrent Systems Modelling: Interactive Situation Models
This paper will critique Empirical Modelling by comparing its benefits against traditional methods of developing what EM calls Interactive Situations Models; that is models which describe the operation of an artefact and embody its behaviour. Models that can be called ISMs are often used as specifications for real-world artefacts that are embedded into the functionality of a device – for exampl...
متن کاملLogic programming for knowledge-intensive interactive applications
Triple20 is an ontology manipulation and visualisation tool for languages built on top of the Semantic-Web RDF triple model. In this article we introduce a triple-centred application design and compare this design to the use of a separate proprietary internal data model. We show how to deal with the problems of such a low-level data model and show that it offers advantages when dealing with inc...
متن کاملEnterprise Knowledge Modelling: Domains and Aspects
The paper presents the Knowledge-based Enterprise framework aimed for the analysis of knowledge management and development of an Enterprise knowledge base. The approaches concerning the modelling of enterprise domains and aspects are presented and used for the development of the concept of Enterprise Knowledge Component. The Enterprise knowledge component (B, T, K) is defined as a composition o...
متن کاملProblem Solving in Interactive Proof: A Knowledge-Modelling Approach
This paper presents a model of proof discovery derived from the proof attempts of subjects who carried out interactive proofs using the HOL or Isabelle provers. Techniques of knowledge modelling, from knowledge-basedsystem development, are used to derive a semi-formal model of the knowledge utilised by the subjects. The proposed model makes claims about the relation between the problem class, t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Business Information Systems
سال: 2009
ISSN: 1746-0972,1746-0980
DOI: 10.1504/ijbis.2009.021601